Este artigo apresenta reflexões sobre o letramento literário a partir da recepção da obra O olho de vidro do meu avô, de Bartolomeu Campos de Queirós, por meio da análise de depoimentos de leitores comuns – a literatura no cotidiano dos indivíduos - e de trechos de artigos científicos sobre a obra – a literatura no campo acadêmico. Apresentamos também uma sequência didática desenvolvida com alunos do 6º ano do Ensino Fundamental de uma escola pública de Itabirito, interior de Minas (...) Gerais, a partir da recepção do livro. Para a realização da prática pedagógica, usamos a proposta sugerida e experienciada por Rildo Cosson para o letramento literário, denominada pelo pesquisador como “Sequência Básica”, composta por quatro etapas: motivação, introdução, leitura e interpretação. Dessa forma, procuramos compreender a literatura, a leitura literária e o letramento literário na vida social e na escola, pois cabe a essa instituição proporcionar aos alunos experiências que desenvolvam essa competência para o letramento literário, a se perpetuar pela vida adulta. O principal objetivo desse processo no contexto escolar é formar um leitor que aprecie significações estéticas, capaz de se inserir em uma comunidade que faça suas próprias escolhas literárias, que saiba manipular seus instrumentos culturais e possa construir com eles um sentido para si e para o mundo em que vive. Dessa forma, é necessário reconhecer a importância de atividades que abarquem diferentes tipos de materiais escritos, mas que não sejam negligenciados os textos literários, multiplicando, dessa forma, os espaços de leitura e constituindo comunidades de leitores na escola e fora dela. (shrink)

Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.

Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como interpretar suas fórmulas em polinômios sobre uma TK-álgebra e discorre sobre a decidibilidade algébrica de TK segundo esta interpretação polinomial.

We investigate the properties of a modal algebra, more specifically, a non-distributive lattice with operators via Galois connections. Pairs of Galois are very common in mathematical environments, and, in this article, they appear as unary operators in lattices even without the distributivity. In a previous paper, Castiglioni and Ertola-Biraben studied the meet-complemented lattices with two modal operators for necessary □ and possible ◊. We observed that this pair of operators determines an adjunction. Then, we used Galois pairs on the meet-complemented (...) lattices, showing some properties of this structure that were already been proved in their paper, and some new laws non presented. Lastly, we define a new pair of operators that also constitute another Galois pair. (shrink)

From generalized quantifiers we move to modulated logic. So with this motivation we show ways for the construction of some modal logics. With the translations between logics we show some inter-relations between modal logics. Finally, we introduce some opportune concepts for a type of classification of deontic logic.

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space. • DOI:10.5007/1808-1711.2010v14n1p47.

Deontic logic is a branch of symbolic logic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Deontic Logic or KD. In this paper, we will mention some of them and highlight one that is of interest. With this presentation we can propose a simple algebraic model for the Standard Deontic Logic.

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing (in a preliminary form) some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as (...) its Lindembaum algebra, which we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic (a Boolean algebra), is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum algebra, which (...) we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic, is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o (...) de implicação; e este conceito de implicação, mais uma vez, remete para as noções de consequência e ordem. Por fim, a partir da caracterização de consequência que está no texto, introduzimos um modelo algébrico para esta lógica implicativa. (shrink)

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

Hastings Center Report, Volume 52, Issue 2, Page 32-40, March‐April 2022.

The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.

Most of this work is devoted to presenting aspects of proof theory that have developed out of Gentzen's work. Thus the them is "cut elimination" and transfinite induction over constructive ordinals. Smullyan's tableau systems will be used for the formalisms and some of the basic logical results as presented in Smullyan [1] will be assumed to be known (essentially only the classical completeness and consistency proofs for propositional and first order logic).

The existence of shoulder abduction (SA) and finger extension (FE) movement capacity shortly after stroke onset is an important prognostic factor, indicating favorable functional outcome for the hemiparetic upper limb. Here we asked whether variation in lesion topography affects these two movements in a similar or a distinct way, and whether lesion impact is similar or distinct for left and right hemisphere damage. SA and FE movements were examined in 77 chronic post-stroke patients using relevant items of the Fugl-Meyer test. (...) Lesion effects were analyzed separately for left and right hemispheric damage (LHD, RHD) patient groups using voxel-based lesion-symptom mapping. In the LHD group, SA and FE were affected only by damage to the cortico-spinal tract in its passage through the corona radiata. In contrast, following RHD, these two movements were affected not only by cortico-spinal tract damage but also by damage to white matter association tracts, the putamen and the insular cortex. In both groups, voxel clusters have been found where damage affected SA and also FE, along with voxels where damage affected only one of the two movements. The capacity to execute SA and FE movements following stroke is affected significantly by damage to shared and distinct voxels in the cortico-spinal tract in LHD patients and by damage to shared and distinct voxels in a larger array of cortical and subcortical regions in RHD patients. (shrink)

Resumen En las siguientes páginas adoptaremos la perspectiva que concibe la reforma de las ciencias de Francis Bacon como un método terapéutico del cultivo de las facultades intelectuales. Ampliaremos la perspectiva de esta línea de investigación del pensamiento baconiano con la distinción de tres terapias renacentistas del alma : la terapia de Eros, sostenida por filósofos platónicos del Renacimiento; la terapia del escepticismo, propuesta por Michel de Montaigne, y la terapia del propio Bacon, tal y como se encuentra en su (...) The Advancement of Learning y en el libro I del Novum organum. Describiremos cada una de estas teorías, expondremos sus principales propuestas filosóficas y exploraremos cómo se oponen entre sí. Por último, con la comparación de estas tres terapias renacentistas del alma buscamos lograr una mejor comprensión del nuevo método de Bacon para el conocimiento humano, dentro de sus propios contextos intelectuales.In the following pages we view Francis Bacon's Reform of sciences as a therapeutic method for the improvement of the intellectual faculties. We broaden the scope of this interpretive line of Bacon's thought by distinguishing three competing therapies of the soul during the Renaissance : the Therapy of Eros, maintained by Renaissance platonic philosophers; the Therapy of skepticism, proposed by Michel de Montaigne, and the Therapy of Bacon himself, as stated in his The Advancement of Learning as well as in the Novum organum, Book I. We describe each of these theories, showing their main philosophical tenets and how they oppose to each other. Finally, by comparing these three Renaissance therapies of the soul we aim to achieve a better comprehension of Bacon's new method for human knowledge in its own intellectual contexts. (shrink)

Resumen: El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en (...) 42 revistas académicas entre 1984 y 2023, se observó que un total de 142 artículos mencionan al menos una vez conceptos como conocimiento/saber indígena, cosmovisión indígena, pensamiento indígena, filosofía/sabiduría indígena, y valores indígenas, u otras denominaciones similares. A partir de esta sistematización, el trabajo presenta una propuesta de ordenamiento de las categorías asociadas a lo indígena señalando los principales desafíos conceptuales que reviste la propuesta de una filosofía indígena latinoamericana. Abstract: This paper aims to take into account what has been understood as "indigenous philosophy" in Latin American philosophical discussion in recent decades. To this end, a meta-analysis is carried out based on a systematic review of academic articles that mention conceptual categories closely related to the noetic aspects of the indigenous, considering a database composed of Latin American journals indexed in the SCOPUS catalogue in the field of philosophy. Considering the material contained in 42 academic journals between 1984 and 2023, it was observed that 142 articles mention at least once concepts such as indigenous knowledge, indigenous cosmovision, indigenous thought, indigenous philosophy/wisdom, indigenous values, or other similar terms. On the basis of this systematisation, the paper proposes an order of the categories associated with the indigenous and points out the main conceptual challenges in characterising a Latin American indigenous philosophy. (shrink)

In the last decades, it has been argued extensively about the possibilities and merits of Social Work to apply at the recognition of its disciplinary character, which -in mind of his defenders- it would overcame the technological and ideological arguments. At the same time, it has been in play h..

El concepto de desarrollo humano del Programa de las Naciones Unidas para el Desarrollo (PNUD) surge en 1990 como una crítica a la consideración de la economía como el fin último de los esfuerzos del desarrollo. En la visión del PNUD, la economía es considerada un fin relativo, es decir, un fin y un medio para el desarrollo humano. Al considerar, por su parte, el fin del desarrollo humano, este es identificado con el ensanchamiento de las opciones y libertades de (...) que gozan los individuos. En este sentido, este concepto de desarrollo humano hace alusión a una práctica política más que a un entendimiento ético-ontológico del ser humano, evitando referirse a desarrollo humano entendido como un desarrollo del ser humano. Este artículo explora los antecedentes del concepto del desarrollo humano del PNUD y los fines que consideran estos enfoques previos. Se observa que la consideración subjetivista del PNUD proviene de la teoría de Amartya Sen, quien queda sujeto a la crítica objetivista de Martha Nussbaum al no considera un fin objetivo para los asuntos humanos, crítica que puede de igual manera aplicarse al concepto de desarrollo humano del PNUD. (shrink)

El presente artículo postula que la Metodología de los Programas de Investigación esclarece la racionalidad del conocimiento científico-social dando cuenta adecuada del carácter plural de las teorías. Cada programa de investigación progresa si desarrolla más contenido teórico y empírico que sus comp..

Este artigo apresenta uma reunião dos principais elementos potencialmente hermenêuticos presentes em quatro momentos ao longo do pensamento de Martin Heidegger: a indicação formal, a ciência do possível, a verdade e o acontecimento de apropriação. Estes elementos serão apresentados e conjugados visando favorecer a linguagem poética como modalidade de acesso ao fenômeno do sagrado.

Visamos delinear um determinado horizonte de compreensão aberto por uma relação de transcendência acerca de um sentido ontológico que excede nossa inserção no mundo fático, mas que só pode ser confrontado justamente a partir de nossa dinâmica existencial projetada a partir de uma temporalidade histórica que delimita nossa condição de finitude revelando uma precariedade determinante em especial para a fenomenologia.

Retraction note: Hernández Correa, E. & Tamargo Niebla, M. (2022). Cultural intelligence in the 21st century. HUMAN REVIEW. International Humanities Revista Internacional De Humanidades, 14(4), 1–13. https://doi.org/10.37467/revhuman.v11.4139 The Editorial Office of Eurasia Academic Publishing Group has retracted this article. An investigation carried out by our Research Integrity Department has found a group of articles, among which this one is found, that are not within the thematic scope of the journal. We believe that the editorial process was manipulated and, furthermore, acceptance (...) decisions were made under possibly inappropriate peer review. (shrink)

Huge losses and serious threats to ecosystems are common consequences of forest fires. This work describes a forest fire controller based on fuzzy logic and decision-making methods aiming at enhancing forest fire prevention, detection, and fighting systems. In the proposal, the environmental monitoring of several dynamic risk factors is performed with wireless sensor networks and analysed with the proposed fuzzy-based controller. With respect to this, meteorological variables, polluting gases and the oxygen level are measured in real time to estimate the (...) existence of forest fire risks in the short-term and to detect the recent occurrence of fire outbreaks over different forest areas. Besides, the Analytic Hierarchy Process method is used to determine the level of fire spread, and, when necessary, environmental alerts are sent by a Web service and received by a mobile application. For this purpose, integrity, confidentiality, and authenticity of environmental information and alerts are protected with implementations of Lamport’s authentication scheme, Diffie-Lamport signature, and AES-CBC block cipher. (shrink)

RESUMENEn este artículo trata de dos explicaciones de la asimetría del tiempo. En primer lugar, resumo el problema de explicar tal asimetría en términos de procesos termodinámicos, discuto dos intentos de solucionar este problema, y defiendo que, no obstante, no todos los procesos irreversibles han de ser considerados termodinámicos. En segundo lugar, rechazo que la asimetría del tiempo sea simple producto de nuestra condición de agentes intencionales. Finalmente concluyo que la explicación de la asimetría del tiempo que se basa en (...) la multitud y diversidad de los procesos naturales irreversibles sigue siendo una buena explicación.PALABRAS CLAVEPROCESOS IRREVERSIBLES, ENTROPÍA, FLECHAS DEL TIEMPO, CAUSALIDADABSTRACTIn the present work I deal with two accounts of the asymmetry of time. Firstly, I summarize the problem of explaining this asymmetry in terms of thermodynamic processes, discuss two approaches proposed to solve this problem, and defend that, nevertheless, not all irreversible processes have to be conceived as thermodynamic ones. Secondly, I reject the notion that the asymmetry of time is a mere product of our condition as intentional agents in the world. Finally, I conclude that the explanation for the asymmetry of time based on the existence of many and diverse irreversible natural processes is still a good explanation.KEY WORDSIRREVERSIBLE PROCESSES, ENTROPY, TIME ARROWS, CAUSALITY. (shrink)

O conceito de memes surgiu em 1976 com Richard Dawkins, como um análogo cultural dos genes. Deveria ser possível estudar a cultura através do processo de evolução por seleção natural de memes, ou seja, de comportamentos, ideias e conceitos. O filósofo Daniel Dennett utilizou tal conceito como central em sua teoria da consciência e pela primeira vez divulgou para o grande público a possibilidade de uma ciência dos memes chamada "memética". A pesquisadora Susan Blackmore (1999) foi quem mais se aproximou (...) de uma defesa completa de tal teoria. No entanto, a memética sofreu pesadas críticas e ainda não se constituiu como uma ciência, com métodos e uma base empírica bem definida. -/- The concept of memes was created by Richard Dawkins in 1976 as a cultural analogue of genes. It suggests the possibility of studying culture through a process of evolution through natural selection of memes, that is, of behaviors, ideas and concepts. The concept became central for the philosopher Daniel Dennett, who employed it in his theory of consciousness and made the possibility of a science of memes, called "memetics", known to the general public. Susan Blackmore (1999) comes closest to giving a complete defense of such a theory. However, memetics has been the target of heavy criticism, and has still not established itself as a science, with specific methods and a well-defined empirical basis. (shrink)

Resumen: Este artículo tiene por objetivo establecer las bases para una comprensión disciplinaria y epistemológica de la geopolítica, considerando su ubicación como campo de estudio y el principal debate entre la perspectiva clásica y crítica de la misma en América del Sur. En este sentido, se efectúa un abordaje histórico sobre la evolución de la geopolítica, decantando en la manera en cómo el conocimiento geopolítico se ha dado en la región mencionada, al tiempo que se señalan las dificultades y propuestas (...) de investigación en el campo señalado. Se concluye que una discusión epistemológica de la geopolítica no solamente ayudará a lograr una mejor construcción y entendimiento del conocimiento geopolítico, desde un punto de vista holístico, sino que ayudará a destacar el rol de la academia en la necesidad de ser el eje articulador de dicha discusión.: This article aims to establish the basis for a disciplinary and epistemological understanding of geopolitics, considering its location as a field of study and the main debate between the classical and critical perspective in South America. In this sense, a historical approach is made on the evolution of geopolitics, decanting in the way in which geopolitical knowledge has been given in the region while pointing out the difficulties and research proposals in the field. It concludes that an epistemological discussion of geopolitics will not only help to achieve a better construction and understanding of geopolitical knowledge, from a holistic point of view, but also highlight the role of academics to articulate the discussion. (shrink)

La crisis de representatividad de los partidos políticos de centro izquierda cuestiona la calidad de la democracia chilena y la proyección de los mismos. No obstante, constituyen referentes sociohistóricos con capacidad de adaptación a los cambios sociales y tendencias de época. Nos interesó conocer cual es el potencial de la generación de relevo de los partidos políticos de adaptarse a los cambios sociales y de representar a la nueva sociedad civil a partir del estudio de su condición generacional dentro de (...) campo político partidista. Los resultados indican que la condición intergeneracional, la visión heterocrítica frente a las formas de reproducción del poder político y la necesidad de legitimidad social favorecen la comprensión de formas distintas de hacer política que lo acercan a la nueva sociedad civil. Las prácticas políticas distintivas identificadas se asocian a la democracia de audiencia, la transversalidad de las alianzas y del territorio. (shrink)

I.-III. 1. Introductio in universam Aristotelis logicam. 2. Commentaria in universam Aristotelis logicam. 3. Commentaria in tres libros Aristotelis De anima -- IV, V. 4. Commentaria in octo libros Aristotelis De physica auscultatione. 5. Commentaria in libros Aristotelis de generatione et corruptione.